#include "board_config.h"
#include "board_gpio.h"
#include "platform.h"

GPIO_TypeDef* GPIO_PORT[LEDn] = {
	LED1_GPIO_PORT
	};

const uint16_t GPIO_PIN[LEDn] = {
	LED1_PIN 
	};

void board_led_init(void)
{
	GPIO_InitTypeDef  GPIO_InitStruct;

	LED1_GPIO_CLK_ENABLE();

	GPIO_InitStruct.Pin = GPIO_PIN[0];
	GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP;
	GPIO_InitStruct.Pull = GPIO_PULLUP;
	GPIO_InitStruct.Speed = GPIO_SPEED_FAST;
	HAL_GPIO_Init(GPIO_PORT[0], &GPIO_InitStruct);

	board_led_off(0);
}

void board_led_on(uint8_t led_id)
{
	if (led_id >= LEDn)
		return;
	HAL_GPIO_WritePin(GPIO_PORT[led_id], GPIO_PIN[led_id], GPIO_PIN_SET); 
}

void board_led_off(uint8_t led_id)
{
	if (led_id >= LEDn)
		return;
	HAL_GPIO_WritePin(GPIO_PORT[led_id], GPIO_PIN[led_id], GPIO_PIN_RESET); 
}

void board_led_toggle(uint8_t led_id)
{
	if (led_id >= LEDn)
		return;
	HAL_GPIO_TogglePin(GPIO_PORT[led_id], GPIO_PIN[led_id]);
}
